716 search results for "tag:"R""
-
15.1.0ISCUsed by 9 other packages16 Sep 2023
-
Non-blocking streaming Unicode codec for OCaml1.0.3ISCUsed by 74 other packages03 Feb 2022
-
A simple varint implementation modeled after the one found in Go's standard library.1.0MITUsed by 0 other packages23 Jul 2018
-
6.0.2ISCUsed by 6 other packages29 Apr 2024
-
6.0.2ISCUsed by 0 other packages29 Apr 2024
-
6.0.2ISCUsed by 1 other packages29 Apr 2024
-
Declarative 2D vector graphics for OCaml0.9.5ISCUsed by 5 other packages24 Jan 2024
-
0.12.3LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 3 other packages20 Jun 2022
-
0.12.3LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages20 Jun 2022
-
vhd-tool
No documentation
A command-line tool to manipulate, transcode and stream .vhd format data.0.12.0Used by 0 other packages06 Jun 2017 -
1.2.1MITUsed by 0 other packages17 Oct 2022
-
Waylaunch is a program launcher for Wayland0.3.0GPL-3.0-or-laterUsed by 0 other packages16 Jan 2024
-
0.6.1ISCUsed by 3 other packages15 Sep 2016
-
2.16ISCUsed by 8 other packages03 Jan 2023
-
2.16ISCUsed by 1 other packages03 Jan 2023
-
2.12Used by 2 other packages04 Oct 2018
-
2.16ISCUsed by 8 other packages03 Jan 2023
-
why
No documentation
Why is a software verification platform.2.41LGPL-2.1-onlyUsed by 0 other packages03 Jul 2018 -
Why3 environment for deductive program verification1.7.2LGPL-2.1-onlyUsed by 7 other packages22 Apr 2024
-
why3-base
No documentation
Why3 environment for deductive program verification (base)0.88.3LGPL-2.1-onlyUsed by 1 other packages12 Jan 2018 -
Why3 environment for deductive program verification1.7.2LGPL-2.1-onlyUsed by 0 other packages22 Apr 2024
-
Why3 environment for deductive program verification1.7.2LGPL-2.1-onlyUsed by 0 other packages22 Apr 2024
-
ws
No documentation
Generic websocket implementation for OCaml0.1Used by 0 other packages18 Jan 2019 -
Wu-Manber approximate string matching0.1.0CC0-1.0Used by 0 other packages19 Jan 2022
-
Public Key Infrastructure (RFC 5280, PKCS) purely in OCaml0.16.5BSD-2-ClauseUsed by 31 other packages04 Jul 2023
-
0.0.5MITUsed by 0 other packages22 Dec 2023
-
0.7Used by 2 other packages23 Dec 2020
-
xapi-forkexecd
No documentation
1.4.0Used by 3 other packages06 Jun 2017 -
xapi-idl
No documentation
1.14.0Used by 4 other packages06 Jun 2017 -
1.2.3LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages17 Jun 2022
-
xapi-libs-transitional
No documentation
1.0.1Used by 2 other packages15 Jun 2017 -
1.12.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 3 other packages12 Dec 2023
-
xapi-rrd-transport
No documentation
1.2.0Used by 1 other packages15 Jun 2017 -
xapi-rrdd
No documentation
1.2.1Used by 0 other packages15 Jun 2017 -
xapi-stdext
No documentation
2.1.0Used by 7 other packages06 Jun 2017 -
xapi-tapctl
No documentation
1.0.1Used by 1 other packages06 Jun 2017 -
xapi-xenops
No documentation
1.0.1Used by 1 other packages15 Jun 2017 -
0.1.0MITUsed by 0 other packages24 Dec 2022
-
xe
No documentation
0.6.3Used by 0 other packages22 Dec 2014 -
xen-api-client
No documentation
Xen-API client library for remotely-controlling an XCP or XenServer host.0.9.14LGPL-2.0-or-laterUsed by 1 other packages06 Jun 2017 -
xen-block-driver
No documentation
Xen disk device drivers: both client ("frontend") and server ("backend")0.2.5Used by 1 other packages21 Nov 2013 -
xen-disk
No documentation
1.2.1Used by 0 other packages11 Feb 2014 -
Xen event channel interface for MirageOS2.1.0Used by 9 other packages13 Feb 2019
-
Xen event channel interface for Linux2.1.0Used by 1 other packages13 Feb 2019
-
xenbigarray
No documentation
1.0.0Used by 1 other packages21 Nov 2013 -
xenctrl
No documentation
Low-level Xen hypercall bindings.0.10.0LGPL-2.0-or-laterUsed by 9 other packages01 Aug 2017 -
Low-level libraries for connecting to a xenstore service on a xen host1.3.0LGPL-2.1-onlyUsed by 11 other packages22 Jan 2021
-
1.4.0ISCUsed by 46 other packages09 Feb 2022
-
Parse and generate YAML 1.1/1.2 files3.2.0ISCUsed by 22 other packages06 Nov 2023
-
Parse and generate YAML 1.1 files3.2.0ISCUsed by 2 other packages06 Nov 2023